Andrei A. Bulatov: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Affine systems of equations and counting infinitary logic

Albert Atserias, Andrei Bulatov, Anuj Dawar

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 949 KB

english, 2009

2

Influence of water and fluorine on melting of carbonated peridotite at 6 and 10 GPa

Gerhard P. Brey, Vadim K. Bulatov, Andrei V. Girnis

Journal:

Year:

2009

Language:

english

File:

PDF, 852 KB

english, 2009

3

Ferropericlase—a lower mantle phase in the upper mantle

Gerhard P. Brey, Vadim Bulatov, Andrei Girnis, Jeff W. Harris, Thomas Stachel

Journal:

Year:

2004

Language:

english

File:

PDF, 470 KB

english, 2004

4

Learning intersection-closed classes with signatures

Andrei Bulatov, Hubie Chen, Víctor Dalmau

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 294 KB

english, 2007

5

Constraint satisfaction problems and global cardinality constraints

Bulatov, Andrei A., Marx, Dániel

Journal:

Communications of the ACM

Year:

2010

Language:

english

File:

PDF, 550 KB

english, 2010

6

Combinatorial problems raised from 2-semilattices

Andrei A. Bulatov

Journal:

Journal of Algebra

Year:

2006

Language:

english

File:

PDF, 203 KB

english, 2006

7

The complexity of weighted Boolean #CSP with mixed signs

Andrei Bulatov, Martin Dyer, Leslie Ann Goldberg, Markus Jalsenius, David Richerby

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 780 KB

english, 2009

8

Boolean max-co-clones

Bulatov, Andrei A.

Journal:

Algebra Universalis

Year:

2015

Language:

english

File:

PDF, 931 KB

english, 2015

9

[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 7913 || Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP

Bulatov, Andrei A., Shur, Arseny M.

Year:

2013

Language:

english

File:

PDF, 215 KB

english, 2013

10

A dichotomy theorem for constraint satisfaction problems on a 3-element set

Bulatov, Andrei A.

Journal:

Journal of the ACM

Year:

2006

Language:

english

File:

PDF, 535 KB

english, 2006

11

Dismantlability, connectedness, and mixing in relational structures

BriceÃ±o, Raimundo, Bulatov, Andrei, Dalmau, VÃctor, Larose, BenoÃ®t

Journal:

Journal of Combinatorial Theory, Series B

Year:

2021

File:

PDF, 657 KB

2021

12

Complexity of conservative constraint satisfaction problems

Bulatov, Andrei A.

Journal:

ACM Transactions on Computational Logic

Year:

2011

Language:

english

File:

PDF, 1.29 MB

english, 2011

13

The subpower membership problem for semigroups

Bulatov, Andrei, Kozik, Marcin, Mayr, Peter, Steindl, Markus

Journal:

International Journal of Algebra and Computation

Year:

2016

Language:

english

File:

PDF, 223 KB

english, 2016

14

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - A short story of the CSP dichotomy conjecture

Bulatov, Andrei A.

Year:

2019

Language:

english

File:

PDF, 80 KB

english, 2019

15

[IEEE 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS) - Berkeley, CA (2017.10.15-2017.10.17)] 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS) - A Dichotomy Theorem for Nonuniform CSPs

Bulatov, Andrei A.

Year:

2017

Language:

english

File:

PDF, 336 KB

english, 2017

16

[IEEE 2009 39th International Symposium on Multiple-Valued Logic - Naha, Okinawaw, Japan (2009.05.21-2009.05.23)] 2009 39th International Symposium on Multiple-Valued Logic - Counting Problems and Clones of Functions

Bulatov, Andrei A.

Year:

2009

Language:

english

File:

PDF, 202 KB

english, 2009

17

Conditions satisfied by clone lattices

Andrei A. Bulatov

Journal:

Algebra Universalis

Year:

2001

Language:

english

File:

PDF, 62 KB

english, 2001

18

Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin

Backens, Miriam, Bulatov, Andrei, Goldberg, Leslie Ann, McQuillan, Colin, Å½ivnÃ½, Stanislav

Journal:

Journal of Computer and System Sciences

Year:

2020

Language:

english

File:

PDF, 838 KB

english, 2020

19

Constraint Satisfaction Problems over semilattice block Mal'tsev algebras

Bulatov, Andrei A.

Journal:

Information and Computation

Year:

2019

Language:

english

File:

PDF, 515 KB

english, 2019

20

Classifying the Complexity of Constraints Using Finite Algebras

Bulatov, Andrei, Jeavons, Peter, Krokhin, Andrei

Journal:

SIAM Journal on Computing

Year:

2005

Language:

english

File:

PDF, 242 KB

english, 2005

21

The complexity of the counting constraint satisfaction problem

Bulatov, Andrei A.

Journal:

Journal of the ACM

Year:

2013

Language:

english

File:

PDF, 1.16 MB

english, 2013

22

H-Coloring dichotomy revisited

Andrei A. Bulatov

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 227 KB

english, 2005

23

Constraint Satisfaction Parameterized by Solution Size

Bulatov, Andrei A., Marx, Dániel

Journal:

SIAM Journal on Computing

Year:

2014

Language:

english

File:

PDF, 511 KB

english, 2014

24

Counting Mal'tsev clones on small sets

Andrei A. Bulatov, Paweł M. Idziak

Journal:

Discrete Mathematics

Year:

2003

Language:

english

File:

PDF, 225 KB

english, 2003

25

The complexity of weighted and unweighted #CSP

Andrei Bulatov, Martin Dyer, Leslie Ann Goldberg, Markus Jalsenius, Mark Jerrum, David Richerby

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 187 KB

english, 2012

26

[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 7913 || The Lovász Local Lemma – A Survey

Bulatov, Andrei A., Shur, Arseny M.

Year:

2013

Language:

english

File:

PDF, 217 KB

english, 2013

27

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Graphs of relational structures

Bulatov, Andrei A.

Year:

2016

Language:

english

File:

PDF, 332 KB

english, 2016

28

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Constraint satisfaction problems over semilattice block Mal'tsev algebras

Bulatov, Andrei A.

Year:

2017

Language:

english

File:

PDF, 191 KB

english, 2017

29

Melting of K-rich carbonated peridotite at 6–10 GPa and the stability of K-phases in the upper mantle

Gerhard P. Brey, Vadim K. Bulatov, Andrei V. Girnis

Journal:

Chemical Geology

Year:

2011

Language:

english

File:

PDF, 1.19 MB

english, 2011

30

Conservative constraint satisfaction re-revisited

Bulatov, Andrei A.

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 385 KB

english, 2016

31

Towards a dichotomy theorem for the counting constraint satisfaction problem

Andrei A. Bulatov, Víctor Dalmau

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 411 KB

english, 2007

32

[ACM Press the thirty-third annual ACM symposium - Hersonissos, Greece (2001..-..)] Proceedings of the thirty-third annual ACM symposium on Theory of computing - STOC '01 - The complexity of maximal constraint languages

Bulatov, Andrei, Krokhin, Andrei, Jeavons, Peter

Year:

2001

Language:

english

File:

PDF, 216 KB

english, 2001

33

The complexity of partition functions

Andrei Bulatov, Martin Grohe

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 488 KB

english, 2005

34

Enumerating homomorphisms

Andrei A. Bulatov, Víctor Dalmau, Martin Grohe, Dániel Marx

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 250 KB

english, 2012

35

Constraint Satisfaction Problems over semilattice block Mal'tsev algebras

Bulatov, Andrei A.

Journal:

Information and Computation

Year:

2019

File:

PDF, 515 KB

2019

36

The expressibility of functions on the boolean domain, with applications to counting CSPs

Bulatov, Andrei A., Dyer, Martin, Goldberg, Leslie Ann, Jerrum, Mark, Mcquillan, Colin

Journal:

Journal of the ACM

Year:

2013

Language:

english

File:

PDF, 426 KB

english, 2013

37

A Simple Algorithm for Mal'tsev Constraints

Bulatov, Andrei, Dalmau, Víctor

Journal:

SIAM Journal on Computing

Year:

2006

Language:

english

File:

PDF, 171 KB

english, 2006

38

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - The Complexity of Global Cardinality Constraints

Bulatov, Andrei A., Marx, Dániel

Year:

2009

Language:

english

File:

PDF, 305 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски